Software Abstractions - Logic, Language, and Analysis
- Författare
- (Daniel Jackson.)
- Genre
- Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| MIT Press | 2012 | USA, Cambridge, Mass | xviii, 354 sidor. ill. 24 cm. | 978-0-262-01715-2 |